Trp53<tm1.1Tldo> MGI:5523909 targeted mutation 1.1, Franck Toledo p53<delta31> http://identifiers.org/mgd/MGI:5523909